More from this Author
Found 4 books by Wolfram Schulte (Editor)
Fields of Logic and Computation II
by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)
Formal Methods and Software Engineering
by Jim Davies (Editor), Wolfram Schulte (Editor), Mike Barnett (Editor)
Model-Driven Engineering Languages and Systems
by Emilio Insfran (Editor), Juergen Dingel (Editor), Wolfram Schulte (Editor), Isidro Ramos (Editor), Silvia Abrahao (Editor)
Fields of Logic and Computation II
by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)